-
1 n-argument functor
Большой англо-русский и русско-английский словарь > n-argument functor
-
2 zero-argument functor
Большой англо-русский и русско-английский словарь > zero-argument functor
-
3 n-argument functor
Математика: n-местный функтор -
4 zero-argument functor
Математика: нульместный функтор -
5 zero-argument functor
English-Russian electronics dictionary > zero-argument functor
-
6 zero-argument functor
The New English-Russian Dictionary of Radio-electronics > zero-argument functor
-
7 n-argument functor
мат. -
8 zero-argument functor
мат.English-Russian scientific dictionary > zero-argument functor
-
9 functor
-
10 functor
вчтфунктор, оператор над типами ( в теории категорий)- additive functor
- algebraic functor
- amnestic functor
- balanced functor
- bijective functor
- binary functor
- canonic functor
- closed functor
- complete functor
- composition functor
- conjunction functor
- derived functor
- disjunction functor
- embedding functor
- extensional functor
- family functor
- free functor
- hereditary functor
- homology functor
- homotopy functor
- immersion functor
- inclusion functor
- injective functor
- intensional functor
- logical functor
- negation functor
- one-place functor
- open functor
- product functor
- projective functor
- Radon functor
- resolvent functor
- singular functor
- statement functor
- sum functor
- surjective functor
- two-place functor
- unary functor
- zero-argument functor -
11 functor
вчт.функтор, оператор над типами ( в теории категорий)- algebraic functor
- amnestic functor
- balanced functor
- bijective functor
- binary functor
- canonic functor
- closed functor
- complete functor
- composition functor
- conjunction functor
- derived functor
- disjunction functor
- embedding functor
- extensional functor
- family functor
- free functor
- functor of points
- hereditary functor
- homology functor
- homotopy functor
- immersion functor
- inclusion functor
- injective functor
- intensional functor
- logical functor
- negation functor
- one-place functor
- open functor
- product functor
- projective functor
- Radon functor
- resolvent functor
- singular functor
- statement functor
- sum functor
- surjective functor
- two-place functor
- unary functor
- zero-argument functorThe New English-Russian Dictionary of Radio-electronics > functor
-
12 n-местный функтор
Большой англо-русский и русско-английский словарь > n-местный функтор
-
13 нульместный функтор
Большой англо-русский и русско-английский словарь > нульместный функтор
-
14 covariant
ковариантный, соизменимый axial vector covariant ≈ псевдовекторный ковариант covariant local system ≈ ковариантная локальная система doubly covariant tensor ≈ дважды ковариантный тензор generally covariant form ≈ общековариантная форма pure covariant functor ≈ чисто ковариантный функтор - absolute covariant - affine covariant - analytical covariant - bilinear covariant - covariant affinor - covariant argument - covariant bundle - covariant calculation - covariant charge - covariant components - covariant coordinates - covariant degree - covariant derivation - covariant derivative - covariant differential - covariant differentiation - covariant differentiator - covariant domain - covariant element - covariant expression - covariant extension - covariant field - covariant formalism - covariant functor - covariant generalization - covariant index - covariant integration - covariant mapping - covariant matrix - covariant method - covariant normalization - covariant operator - covariant order - covariant property - covariant quantity - covariant representation - covariant sequence - covariant spinor - covariant stack - covariant tensor - covariant type - covariant valence - covariant vector - covariant vertor - generally covariant - modular covariant - multilinear covariant - multiple covariant - projective covariant - pseudoscalar covariant - regular covariant - relative covariant - simple covariant - tensor covariant - total covariant - unitary covariant - universal covariant - vector covariant (математика) ковариантныйБольшой англо-русский и русско-английский словарь > covariant
-
15 contravariant
контравариантный contravariant local system ≈ контравариантная локальная система contravariant tensor space ≈ контравариантное тензорное пространство - contravariant affinor - contravariant algebra - contravariant argument - contravariant bundle - contravariant components - contravariant coordinates - contravariant degree - contravariant derivative - contravariant differentiation - contravariant differentiator - contravariant domain - contravariant element - contravariant extension - contravariant field - contravariant functor - contravariant ideal - contravariant index - contravariant of tensor - contravariant point - contravariant stack - contravariant tensor - contravariant variable - contravariant vector - contravariant vertor (математика) контравариантныйБольшой англо-русский и русско-английский словарь > contravariant
-
16 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
См. также в других словарях:
Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Hom functor — In mathematics, specifically in category theory, Hom sets, i.e. sets of morphisms between objects, give rise to important functors to the category of sets. These functors are called Hom functors and have numerous applications in category theory… … Wikipedia
Categorial grammar — is a term used for a family of formalisms in natural language syntax motivated by the principle of compositionality and organized according to the view that syntactic constituents should generally combine as functions or according to a function… … Wikipedia
Function object — A function object, also called a functor or functional, is a computer programming construct allowing an object to be invoked or called as if it were an ordinary function, usually with the same syntax.Function objects are unrelated to functors in… … Wikipedia
Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… … Wikipedia
Triangulated category — A triangulated category is a mathematical category satisfying some axioms that are based on the properties of the homotopy category of spectra, and the derived category of an abelian category. A t category is a triangulated category with a t… … Wikipedia
Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… … Wikipedia
Map (higher-order function) — In many programming languages, map is the name of a higher order function that applies a given function to each element of a list, returning a list of results. They are examples of both catamorphisms and anamorphisms. This is often called apply… … Wikipedia
Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… … Wikipedia
Combinatory categorial grammar — (CCG) is an efficiently parseable, yet linguistically expressive grammar formalism. It has a transparent interface between surface syntax and underlying semantic representation, including predicate argument structure, quantification and… … Wikipedia